Directed graph

Results: 599



#Item
371Digital electronics / Electronic design / Logic in computer science / And-inverter graph / Logic synthesis / Field-programmable gate array / American International Group / Directed acyclic graph / Logic gate / Electronic engineering / Electronic design automation / Formal methods

DAG-Aware AIG Rewriting A Fresh Look at Combinational Logic Synthesis Alan Mishchenko Satrajit Chatterjee

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2006-05-08 11:02:22
372R-tree / Static single assignment form / Heuristic function / Tree traversal / Graph theory / Tree decomposition / Directed acyclic graph

Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2006-10-04 01:10:16
373Network theory / Shortest path problem / Directed graph / Graph theory / Mathematics / Theoretical computer science

Reverse Top-k Search using Random Walk with Restart † ∗ Adams Wei Yu†§ , Nikos Mamoulis§ , Hao Su‡

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2013-12-06 16:23:06
374Graph connectivity / Diagrams / Models of computation / Directed acyclic graph / Transitive closure / Reachability / Unreachable memory / Model checking / Connected component / Graph theory / Mathematics / Theoretical computer science

Inductively Finding a Reachable State Space Over-Approximation Michael L. Case Alan Mishchenko

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2006-05-01 16:01:54
375Combinatorial optimization / Connectivity / And-inverter graph / Field-programmable gate array / A* search algorithm / Directed acyclic graph / Graph theory / Electronic engineering / Mathematics

WireMap: FPGA Technology Mapping for Improved Routability and Enhanced LUT Merging STEPHEN JANG, BILLY CHAN, and KEVIN CHUNG Xilinx Inc. and

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2009-06-18 14:34:18
376Science / Diagrams / Canonical form / Boolean network / Directed acyclic graph / Influence diagram / Algorithm / Applied mathematics / Logic / Algebraic logic / Mathematics

Simplification of Non-Deterministic Multi-Valued Networks Alan Mishchenko ECE Dept. Portland State University, Portland, OR [removed]

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2002-07-24 15:20:02
377Network theory / Networks / Degree / Topology / Directed graph / Vertex / Connectivity / Shortest path problem / Centrality / Graph theory / Mathematics / Theoretical computer science

On Power-Law Relationships Michalis Petros Faloutsos Faloutsos

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:29
378Algebraic graph theory / Connectome / Graph / Adjacency matrix / Connectivity / Directed graph / Working memory / Visual analytics / Social network analysis software / Graph theory / Mathematics / Computational science

Weighted Graph Comparison Techniques for Brain Connectivity Analysis

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-01-11 17:19:47
379Belief propagation / Coding theory / Probability theory / Line graph / Degree / Connectivity / Directed graph / Centrality / Signed graph / Graph theory / Mathematics / Graph operations

Mining Large Graphs: Algorithms, Inference, and Discoveries U Kang 1 , Duen Horng Chau 2 , Christos Faloutsos 3 School of Computer Science, Carnegie Mellon University 5000 Forbes Ave, Pittsburgh PA 15213, United States 1

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2011-02-25 00:26:31
380Causality / Conditionals / Philosophy of science / Political geography / Directed acyclic graph / Epidemiology / Causal diagram / Greenland / Science / Diagrams / Health

Greenland_Bias and EMM.ppt.ppt

Add to Reading List

Source URL: www.ccsem.infn.it

Language: English - Date: 2013-10-15 03:51:00
UPDATE